Formal Analysis of Privilege based Total Order Broadcast System
نویسندگان
چکیده
منابع مشابه
Dynamic Switching of Total-Order Broadcast Protocols
The exchange of total order broadcast protocols for dependable applications has been already studied and solved in several previous papers. To this end, some switching mechanism is needed. All these solutions have been inspired in a two-phase algorithm. The first phase is needed to agree on the need of change, stopping then the old protocol. Whilst the second one is needed to wait for the deliv...
متن کاملA Token-Based Distributed Algorithm for Total Order Atomic Broadcast
In this paper, we propose a new token-based distributed algorithm for total order atomic broadcast. We have shown that the proposed algorithm requires lesser number of messages compared to the algorithm where broadcast servers use unicasting to send messages to other broadcast servers. The traditional method of broadcasting requires 3(N − 1) messages to broadcast an application message, where N...
متن کاملFormal Specification and Verification of Total Order Broadcast through Destination Agreement Using Event-b
A reliable broadcast is communication primitive used to develop fault tolerant distributed applications. It in due course delivers messages to all participating sites irrespective of their ordering. Total order broadcast impose restriction on message ordering and satisfies total order requirement. A clear specifications, rigorous validation and verification is key to obtain better design of dep...
متن کاملFormal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
In a replicated database system, copies of the database are kept across several sites for fault-tolerance and availability. Data access in such systems is usually done within a transactional framework. A readonly transaction accesses data locally and an update transaction modifies the database at all sites. Total order broadcast primitives have been proposed to support transactions and allow fa...
متن کاملRigorous Design of Partition-Aware Total Order Broadcast System using Event-B
In distributed system, the sites communicate with each other by exchange of messages. A total order broadcast is a reliable broadcast that ensures delivery of messages to the sites in the same order. For the fault tolerant applications, ordering algorithm must support the network partitions and site failure. In this paper, we present a formal model of total order broadcast system in the presenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2013
ISSN: 0975-8887
DOI: 10.5120/10670-5452